首页> 外文OA文献 >Integrating Formal Verification and High-Level Processor Pipeline Synthesis

【2h】

Integrating Formal Verification and High-Level Processor Pipeline Synthesis

机译：集成形式验证和高级处理器流水线合成

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Eriko Nurvitadhi; James C. Hoe; Timothy Kam; Shih-lien L. Lu;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation [J] . Zhi Yang, Guangsheng Ma, Shu Zhang Integration . 2010,第1期

机译：使用关系建模和符号计算对高级数据流综合设计进行形式验证
2. A study about the efficiency of formal high-level synthesis applied to verification [J] . Jose M. Mendias, Roman Hermida, Olga Penalba Integration . 2002,第2期

机译：正式高级综合用于验证的效率研究
3. Formal Verification of a Complex Pipelined Processor [J] . RAVI HOSABETTU, GANESH GOPALAKRISHNAN, MANDAYAM SRIVAS Formal Methods in System Design . 2003,第2期

机译：复杂流水线处理器的形式验证
4. Integrating formal verification and high-level processor pipeline synthesis [C] . Nurvitadhi Eriko, Hoe James C., Kam Timothy, Proceedings of the 2011 IEEE 9th Symposium on Application Specific Processors . 2011

机译：整合形式验证和高级处理器管线综合
5. Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet [D] . Gao, Min. 2018

机译：正式和半正式验证在软件测试，高级综合和能源互联网中的应用
6. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009

机译：一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
7. Collection of High-Level Microprocessor Bugs from Formal Verification of Pipelined and Superscalar Designs [O] . 2008

机译：从流水线和超标量设计的形式验证中收集高级微处理器错误

Integrating Formal Verification and High-Level Processor Pipeline Synthesis

著录项

引文网络

相似文献

相关主题

期刊订阅